• Conference Object  

      A trellis notion for distributed system diagnosis with sequential semantics 

      Fabre, E.; Hadjicostis, Christoforos N. (2006)
      We consider modular automata, obtained as a product of elementary components, and adopt the usual sequential semantics: runs of these systems are sequences of events (in contrast to partial orders). The set of all runs of ...